(0 20 16)(1 15 12)(2 18 4)(3 7 5)(6 10 8)(9 17 14)(11 19 13)
ALLOWS (11/8)-SEQUENCE
1: (1 12 15)
(0 20 16)(1 12 15)(2 18 4)(3 7 5)(6 10 8)(9 17 14)(11 19 13)
2: (11 19 13)
(0 20 16)(1 12 15)(2 18 4)(3 7 5)(6 10 8)(9 17 14)(11)(13)(19)
3: (1 12 15)
(0 20 16)(1)(2 18 4)(3 7 5)(6 10 8)(9 17 14)(11)(12)(13)(15)(19)
4: (9 17 14)
(0 20 16)(1)(2 18 4)(3 7 5)(6 10 8)(9)(11)(12)(13)(14)(15)(17)(19)